Check-System für die Datensicherheit = Checking system for data safetyRICHTER, H.-J.Gummi, Fasern, Kunststoffe. 1989, Vol 42, Num 9, pp 418-425, issn 0176-1625, 5 p.Article

Systèmes de test de contrôle des calculateurs modernes. Revue des principales tendancesGORYASHKO, A. P; LITVINENKO, N. I; POSPELOV, L. V et al.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1985, Num 1, pp 37-56, issn 0002-3388Article

Maintenance et retour d'expérience des matériels haute tension des postes de transformation = Maintenance and experience feedback in high voltage equipments of transformer substationsBONNARD, G.Revue générale de l'électricité (Paris). 1995, Num 4, pp 26-31, issn 0035-3116Article

«MORGAT»: a data processing program for testing transmission line protective relaysBORNARD, P; ERHARD, P; FAUQUEMBERGUE, P et al.IEEE transactions on power delivery. 1988, Vol 3, Num 4, pp 1419-1426, issn 0885-8977, 8 p.Conference Paper

Model checking multi-agent programs with CASPBORDINI, Rafael H; FISHER, Michael; PARDAVILA, Carmen et al.Lecture notes in computer science. 2003, pp 110-113, issn 0302-9743, isbn 3-540-40524-0, 4 p.Conference Paper

A methodology for assessing the correctness of control programsBASTANI, F. B; RAMAMOORTHY, C. V.Computers & electrical engineering. 1984, Vol 11, Num 2-3, pp 115-144, issn 0045-7906Article

Verifying the equivalence of logic programs in the disjunctive caseOIKARINEN, Emilia; JANHUNEN, Tomi.Lecture notes in computer science. 2004, pp 180-193, issn 0302-9743, isbn 3-540-20721-X, 14 p.Conference Paper

Safety perspectivesHARTFORD, D.International water power & dam construction. 1997, Vol 49, Num 2, pp 29-30, issn 0306-400XArticle

Checking spelling in source codeHUGHES, Elliott.ACM SIGPLAN notices. 2004, Vol 39, Num 12, pp 32-38, issn 1523-2867, 7 p.Article

How to plan a control chart programJAEHN, A. H.Tappi journal. 1991, Vol 74, Num 9, pp 299-301, issn 0734-1415Article

Life extension gives new lease to plantsElectrical world. 1985, Vol 199, Num 5, pp 54-56, issn 0013-4457Article

JNuke: Efficient dynamic analysis for JavaARTHO, Cyrille; SCHUPPAN, Viktor; BIERE, Annin et al.Lecture notes in computer science. 2004, pp 462-465, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

Accelerated measles control in the western Pacific regionMCFARLAND, Jeffrey W; MANSOOR, Osman David; BAOPING YANG et al.The Journal of infectious diseases. 2003, Vol 187, pp S246-S251, issn 0022-1899, SUP1Article

Efficient type inference for record concatenation and subtypingPALSBERG, Jens; TIAN ZHAO.Proceedings - Symposium on Logic in Computer Science. 2002, pp 125-136, issn 1043-6871, isbn 0-7695-1483-9, 12 p.Conference Paper

Automated refinement checking for asynchronous processesALUR, Rajeev; GROSU, Radu; WANG, Bow-Yaw et al.Lecture notes in computer science. 2000, pp 55-72, issn 0302-9743, isbn 3-540-41219-0Conference Paper

The role of the corrosion engineer in the development and application of risk-based inspection for plant equipmentHORVATH, R. I.Materials performance. 1998, Vol 37, Num 7, pp 70-75, issn 0094-1492Article

Issues on newly introduced accredited Checker's system in Singapore practiceWAI FAN WONG.Journal of professional issues in engineering education and practice. 1991, Vol 117, Num 4, pp 376-382Article

Report: quest ― a security auditing toolKAPILOW, S. A; CHEREPOV, M.AT&T technical journal. 1988, Vol 67, Num 3, pp 65-71, issn 8756-2324Article

Progress in accelerated measles control in the people's republic of China, 1991-2000WANG LIXIA; ZENG GUANG; LEE, Lisa A et al.The Journal of infectious diseases. 2003, Vol 187, pp S252-S257, issn 0022-1899, SUP1Article

Six sigma can give contractors a quality advantageMILLER, Jim.Pharmaceutical technology. 2001, Vol 25, Num 9, pp 92-94, issn 0147-8087, 2 p.Article

Planning tools for developing comprehensive regional monitoring programsBERNSTEIN, B. B; HOENICKE, R; TYRELL, C et al.Environmental monitoring and assessment. 1997, Vol 48, Num 3, pp 297-306, issn 0167-6369Article

An evaluation of a time-saving anaesthetic machine checkout procedureBERGE, J. A; GRAMSTAD, L; GRIMNES, S et al.European journal of anaesthesiology. 1994, Vol 11, Num 6, pp 493-498, issn 0265-0215Conference Paper

Formulary control of antimicrobial usage : what price freedom : The role of the clinical microbiology laboratory and the clinical pharmacy in the management of infectious disease (ASM, 1992)DUNAGAN, W. C; MEDOFF, G.Diagnostic microbiology and infectious disease. 1993, Vol 16, Num 3, pp 265-274, issn 0732-8893Article

Automated hands-on HPLC for nonspecialistsWELLER, H. N.LC GC. 1992, Vol 10, Num 9, pp 698-704, issn 0888-9090, 5 p.Article

Interface type checking of large C applicationsMYERS, H. E; PURTILO, J. M.Computer languages. 1992, Vol 17, Num 2, pp 147-154, issn 0096-0551Article